Simplify boot_vcpu() implementation.

Signed-off-by: Tony Breeds <tony@bakeyournoodle.com>

diff --git a/xen/common/domain.c b/xen/common/domain.c
index 430c0b0a8cddb2cedbcc732843398fe07e667a69..b32087a1552c071019df281a8365e8aa390be4ee 100644 (file)
--- a/xen/common/domain.c
+++ b/xen/common/domain.c
@@ -376,14 +376,10 @@ int set_info_guest(struct domain *d, dom0_setdomaininfo_t *setdomaininfo)
 int boot_vcpu(struct domain *d, int vcpuid, struct vcpu_guest_context *ctxt) 
 {
     struct vcpu *v = d->vcpu[vcpuid];
-    int rc;
 
     BUG_ON(test_bit(_VCPUF_initialised, &v->vcpu_flags));
 
-    if ( (rc = arch_set_info_guest(v, ctxt)) != 0 )
-        return rc;
-
-    return rc;
+    return arch_set_info_guest(v, ctxt);
 }
 
 long do_vcpu_op(int cmd, int vcpuid, void *arg)